type a
type b = | ...a | Other
